Merge branch 'wip/exalm/polish' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 6 May 2020 21:47:47 +0000 (21:47 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 6 May 2020 21:47:47 +0000 (21:47 +0000)
commit2415c02bbdcfd0671bac83b1fe916e61417b397e
tree0eb135c39eab22b1d412cb66c94eba6b8d0a70c0
parente25cb8b907f96589ad36a8a9e48cf6dde1e68da0
parentefe21869fbe64a531a270f941701f97200510c25
Merge branch 'wip/exalm/polish' into 'master'

Random polish

See merge request GNOME/gtk!1850